|
In computability theory, a Turing degree () is low if the Turing jump () is 0′. A set is low if it has low degree. Since every set is computable from its jump, any low set is computable in 0′, but the jump of sets computable in 0′ can bound any degree r.e. in 0′ (Schoenfield Jump Inversion). ''X'' being low says that its jump ''X''′ has the least possible degree in terms of Turing reducibility for the jump of a set. A degree is ''low n'' if its n'th jump is the n'th jump of 0. A set ''X'' is ''generalized low'' if it satisfies ''X''′ ≡T ''X'' + 0′, that is: if its jump has the lowest degree possible. And a degree d is ''generalized low n'' if its n'th jump is the (n-1)'st jump of the join of d with 0′. More generally, properties of sets which describe their being computationally weak (when used as a Turing oracle) are referred to under the umbrella term ''lowness properties''. By the Low basis theorem of Jockusch and Soare, any nonempty class in contains a set of low degree. This implies that, although low sets are computationally weak, they can still accomplish such feats as computing a completion of Peano Arithmetic. In practice, this allows a restriction on the computational power of objects needed for recursion theoretic constructions: for example, those used in the analyzing the proof-theoretic strength of Ramsey's theorem. ==See also== *High (computability) *Low Basis Theorem 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Low (computability)」の詳細全文を読む スポンサード リンク
|